Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Michaël Rusinowitch And NotLorraine (région)

List of bibliographic references

Number of relevant bibliographic references: 25.
Ident.Authors (with country if any)Title
002656 Yannick Chevalier [France] ; Mohamed Anis Mekki [France] ; Michaël Rusinowitch [France]Orchestration under Security Constraints
003877 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003900 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003971 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Data Structures with Arithmetic Constraints: A Non-disjoint Combination
003984 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Combinable Extensions of Abelian Groups
004B52 Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Verifying Cryptographic Protocols with Subterms Constraints
004B58 Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Towards an Automatic Analysis of Web Service Security
004D04 Abdessamad Imine [France] ; Michaël Rusinowitch [France]Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
005401 Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Z Linescu [France]Relating Two Standard Notions of Secrecy
005471 Yannick Chevalier [France] ; Michaël Rusinowitch [France]Hierarchical Combination of Intruder Theories
005D12 Abdessamad Imine ; Michaël Rusinowitch ; Gérald Oster ; Pascal MolliFormal Design and Verification of Operational Transformation Algorithms for Copies Convergence
005D28 Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchTowards Synchronizing Linear Collaborative Objects with Operation Transformation
005D45 Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications
006170 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Towards Synchronizing Linear Collaborative Objects with Operational Transformation
006286 Yannick Chevalier [France] ; Michaël Rusinowitch [France]Combining Intruder Theories
006302 Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]Automated Reasoning for Security Protocol Analysis
006777 Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDeductive Verification of Distributed Groupware Systems
006855 Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchAchieving Convergence with Operational Transformation in Distributed Groupware Systems
006F93 Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]How Useful are Dag Automata?
007648 Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchProving Correctness of Transformation Functions in Real-Time Groupware
007B67 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents
007D19 Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France]ACID-Unification is NEXPTIME-Decidable
007D29 Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]Unification modulo ACUI plus Homomorphisms/Distributivity
008538 Imine Abdessamad ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDevelopment of Transformation Functions Assisted by a Theorem Prover
00B093 Narjes Berregeb ; Adel Bouhoula ; Michaël RusinowitchObservational Proofs with Critical Contexts
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022